Process and progress of requirement formalization in Software Engineering
نویسندگان
چکیده
منابع مشابه
Capacities-Centered Integral Software Process Formalization
In this paper, we formalize an integral sofnvare process model which is applied to the construction of conventional systems (CS) and knowledge-based systems (KBS), centered in the capacities. The Capacities Centered Integral Software Process Model (CCISPM) is formalized through an object oriented approach. Aiming to automate the CCISPM, the formalization of the process dynamic aspects is begun....
متن کاملarchitecture and engineering of nanoscale sculptured thin films and determination of their properties
چکیده ندارد.
15 صفحه اولBlueprint for Real Progress in Software Engineering
While there's general agreement that the software engineering field is in great need of major advances, efforts are dispersed and not always directed to the really critical needs. I will present a view of what is fundamentally needed to produce real progress. The view is influenced by my own concerns and the talk is also an opportunity to present the research of my groups at ETH and Eiffel Soft...
متن کاملCapacities-Centered Software Engineering and Knowledge Engineering Software Process
In this paper, we propose an integral software process model which is applicable in the construction of the conventional systems and knowledge-based systems (KBS), centered in the capacities. The designed model is prescriptive, that is indicates "what is done" to produce and maintain an automated solution to a problem of the real world and "who's who", the person doing it. The Capacities-Center...
متن کاملProcess Models in Software Engineering
Software systems come and go through a series of passages that account for their inception, initial development, productive operation, upkeep, and retirement from one generation to another. This article categorizes and examines a number of methods for describing or modeling how software systems are developed. It begins with background and definitions of traditional software life cycle models th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ingeniare. Revista chilena de ingeniería
سال: 2020
ISSN: 0718-3305
DOI: 10.4067/s0718-33052020000300411